Control lock - PDFSEARCH.IO - Document Search Engine

Control lock
Results: 1096

#	Item
981	Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-01 21:43:05 Double-checked locking Volatile variable Java Memory Model Thread safety Lock Memory model Critical section Linearizability Memory barrier Concurrency control Computing Software engineering
982	Correct and Efficient Synchronization of ™ Java Technologybased Threads Doug Lea and William Pugh http://gee.cs.oswego.edu Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2000-07-28 17:02:46 Concurrency Thread Lock Mutual exclusion Synchronization Java programming language Java concurrency Java Memory Model Computing Concurrency control Concurrent computing
983	JSR-133: JavaTM Memory Model and Thread Specification February 2, 2004, 2:05pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specifica Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-02 14:07:05 Java Memory Model Lock Memory barrier Memory model Monitor Thread Deadlock Volatile variable Java virtual machine Computing Concurrency control Software engineering
984	Informal Description of Manson/Pugh model February 6, 2004, 1:45pm Note: the issue of what it means for an action to occur in more than one execution is elided. hb hb Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-06 13:47:14 Concurrency control Lock Justification Constructible universe Variable Group action Christian theology Christianity Algebra
985	Almost One Page Informal Description of Manson/Pugh model October 23, 2003, 6:18pm Note: the issue of what it means for an action to occur in more than one execution is elided. hb hb Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-10-24 05:48:40 Group action Mathematics Concurrency control Lock Constructible universe
986	JSR-133: JavaTM Memory Model and Thread Specification August 24, 2004, 4:42pm This document is the JSR-133 specification, the JavaTM Memory Model and Thread Specification (JMM), as developed by the JSR-133 expert group. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-08-24 16:44:54 Concurrency Computer memory Concurrent computing Java Memory Model Java platform Thread Lock Monitor Parallel computing Computing Software engineering Concurrency control
987	Fixing the Java Memory Model William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-06-23 15:16:39 Computer memory Transaction processing Concurrency control Compiler construction Java Memory Model Thread Memory model Consistency model Lock Computing Software engineering Java platform
988	JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-08-08 11:08:03 Java Memory Model Lock Memory barrier Memory model Monitor Volatile variable Linearizability Deadlock Thread Computing Concurrency control Software engineering
989	JSR-133: JavaTM Memory Model and Thread Specification March 17, 2004, 9:21pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specificati Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-03-17 21:23:58 Java Memory Model Lock Memory barrier Monitor Memory model Deadlock Thread Volatile variable Java virtual machine Computing Concurrency control Software engineering
990	The Semantics of Multithreaded Java William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 10:56:06 Computer memory Compiler construction Concurrency Programming language design Memory model Consistency model Java Memory Model Thread Lock Computing Software engineering Concurrency control

UPDATE